?[$x$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case $x$ of inl($y$) $\Rightarrow$ [$y$] ; inr($y$) $\Rightarrow$ nil